% Copyright 2023, Gerwin Klein, Régis Décamps, Steve Rowe
% SPDX-License-Identifier: CC-BY-SA-4.0

\documentclass[11pt]{scrartcl}
\usepackage{a4wide,verbatim,graphicx,upquote,microtype}

\usepackage{color}
\definecolor{lcol}{rgb}{0,0,0.5}
\usepackage[unicode=true,bookmarks,
            colorlinks=true,linkcolor=lcol,citecolor=lcol,
            filecolor=lcol,urlcolor=lcol,
            pdfauthor={Gerwin Klein, Steve Rowe, Regis Decamps},
            pdftitle={JFlex User's Manual},
            pdfkeywords={Java, scanner, lexer, scanner generator},
            plainpages=false]{hyperref}


% pandoc packages
\usepackage{lmodern}
\usepackage{fixltx2e} % provides \textsubscript
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}

\newcommand{\textcite}[1]{\cite{#1}}
\newcommand{\autocite}[1]{\cite{#1}}

\renewcommand{\textquotesingle}{'}

\let\orighyperref\hyperref
\renewcommand{\hyperref}[2][]{\orighyperref[#1]{#2} (\autoref{#1})}

\let\ttf\ttfamily
\renewcommand{\ttfamily}{\small\ttf}

\renewcommand{\sectionautorefname}{Section}
\renewcommand{\subsectionautorefname}{Section}
\renewcommand{\subsubsectionautorefname}{Section}
\renewcommand{\Hfootnoteautorefname}{Footnote}

\providecommand{\tightlist}{%
  \setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}

\setlength{\parindent}{0pt}
\setlength{\parskip}{1ex plus 0.5ex minus 0.2ex}


\begin{document}

\centerline{\includegraphics[width=0.6\textwidth]{fig/jflex-black}}

\begin{center}
\sffamily
{\Large The Fast Lexical Analyser Generator}\\
\smallskip\smallskip
Copyright \copyright\ 1998--2020 by \href{http://www.doclsf.de}{Gerwin Klein},
Steve Rowe, and \href{http://regis.decamps.info/}{R\'egis D\'ecamps}.

\vspace*{15ex}
{\Huge \sffamily \bfseries JFlex User's Manual}\\
\bigskip
Version 1.10.0-SNAPSHOT, {\today}
\end{center}

\newpage
\tableofcontents
\newpage

\input{intro}
\input{installing}
\input{maven-plugin}
\input{ant-task}
\input{example}
\input{lex-specs}
\input{generated-class}
\input{encodings}
\input{performance}
\input{porting-and-parsers}
\input{end}

\newpage

\bibliographystyle{plain}
\bibliography{manual}

\end{document}
